<html>
<head><meta charset="utf-8"><title>miri email team · general · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/index.html">general</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20email.20team.html">miri email team</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="136696604"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20email%20team/near/136696604" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20email.20team.html#136696604">(Oct 29 2018 at 10:24)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> what would it take to get an email alias <em>somewhere</em> that we could set up to receive CI notifications for miri?</p>



<a name="136696610"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20email%20team/near/136696610" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20email.20team.html#136696610">(Oct 29 2018 at 10:24)</a>:</h4>
<p>Currently whoever pushed the last thing to master gets the cron job failure notifications, which is far from ideal</p>



<a name="136704786"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20email%20team/near/136704786" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20email.20team.html#136704786">(Oct 29 2018 at 13:15)</a>:</h4>
<p>(it'd take me no time to set up <code>miri@verschluesse.lt</code>, but maybe that wouldn't be the best place for this alias)</p>



<a name="136793704"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20email%20team/near/136793704" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20email.20team.html#136793704">(Oct 30 2018 at 17:47)</a>:</h4>
<p>I .. don't know</p>



<a name="136793716"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20email%20team/near/136793716" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20email.20team.html#136793716">(Oct 30 2018 at 17:47)</a>:</h4>
<p>maybe ask somebody in the infra team (on Discord, I think)</p>



<a name="136797866"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20email%20team/near/136797866" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20email.20team.html#136797866">(Oct 30 2018 at 18:46)</a>:</h4>
<p><span class="user-mention" data-user-id="120791">@RalfJ</span> alex mentioned that in our meeting today. Lists are done thru DNS and it's kind of annoying to edit frequently, but they can exist.</p>



<a name="136798607"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20email%20team/near/136798607" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20email.20team.html#136798607">(Oct 30 2018 at 18:57)</a>:</h4>
<p>lists through... DNS? I don't think I understand, but whatever.^^</p>



<a name="136798612"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20email%20team/near/136798612" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20email.20team.html#136798612">(Oct 30 2018 at 18:57)</a>:</h4>
<p><span class="user-mention" data-user-id="124288">@Oli</span> what do you think?</p>



<a name="136798622"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20email%20team/near/136798622" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20email.20team.html#136798622">(Oct 30 2018 at 18:57)</a>:</h4>
<p>through our dns provider</p>



<a name="136832812"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20email%20team/near/136832812" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20email.20team.html#136832812">(Oct 31 2018 at 07:49)</a>:</h4>
<p>Whatever works, works for me.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>